121. Lindenmayer Systems :
Author: edited by Grzegorz Rozenberg, Arto Salomaa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.,Translators (Computer programs)
Classification :
T385
.
E358
1992
122. Logic Programming '89 :
Author: edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Translators (Computer programs)
Classification :
QA76
.
63
E358
1991
123. Logics of Programs :
Author: by E. Clarke, D. Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
124. Managing interactions in smart environments :
Author: Paddy Nixon ... (eds.). Organised by Department of Computer Science, University of Dublin, Trinity College
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Dublin <1999>,Kongress,Mensch-Maschine-Kommunikation
Classification :
TH6012
.
P333
2000
125. Mathematical Foundations of Computer Science 1986 :
Author: edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA267
.
E358
1986
126. Mathematical Foundations of Computer Science 1976 :
Author: edited by Antoni Mazurkiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer Science.,Computers.
Classification :
QA267
.
3
E358
1976
127. Mathematical Foundations of Computer Science 1989 :
Author: edited by Antoni Kreczmar, Grazyna Mirkowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
9
.
M35
E358
1989
128. Memory Management :
Author: edited by Henry G. Baler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Memory management (Computer science)
129. Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen :
Author: herausgegeben von B. Walke, O. Spaniol.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Computer system performance.
Classification :
QA76
.
9
.
E94
H473
1993
130. Metaheuristics :
Author: edited by Karl F. Doerner [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical optimization.,System analysis-- Mathematics.,Affaires.,Economie de l'entreprise.,Heuristiek.,Komplexes System,Mathematical optimization.,Mathematical optimization.,Optimaliseren.,Optimierung,Science économique.,SCIENCE-- System Theory.,System analysis-- Mathematics.,TECHNOLOGY & ENGINEERING-- Operations Research.
Classification :
QA402
.
M474
2007eb
131. Multi-Microprocessor Systems for Real-Time Applications
Author: edited by Gianni Conte, Dante Corso.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer science.,Engineering.
Classification :
QA76
.
54
E358
1985
132. Multicore software development techniques :
Author: Rob Oshana
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development,Multiprocessors,Parallel programming (Computer science),Systems on a chip
Classification :
QA76
.
642
133. NASA Formal Methods :
Author: Julia M. Badger, Kristin Yvonne Rozier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Formal methods (Computer science)
Classification :
QA76
.
9
.
F67
N45
2019
134. Network and parallel computing :
Author: Erik Altman, Weisong Shi (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network architectures, Congresses,Parallel processing (Electronic computers), Congresses
Classification :
QA76
.
58
.
N63
2011
135. Network and parallel computing :
Author: Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses,Parallel computers, Congresses,Parallel processing (Electronic computers), Congresses
Classification :
QA76
.
58
.
N63
2013
136. Network and parallel computing :
Author: Feng Zhang, Jidong Zhai, Marc Snir, Hai Jin, Hironori Kasahara, Mateo Valero (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Parallel computers, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer networks.,Parallel computers.,Parallel processing (Electronic computers)
Classification :
QA76
.
58
137. Networked Digital Technologies :
Author: edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer Communication Networks.,Computer science.,Database management.,Information storage and retrieval systems.,Information systems.,Software engineering.,Artificial Intelligence (incl. Robotics).,Computer Communication Networks.,Computer Science.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Software Engineering.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Computer science.,Database management.,Information storage and retrieval systems.,Software engineering.
Classification :
QA76
.
76
.
A65
I58
2010
138. Neurocomputing :
Author: edited by Françoise Fogelman Soulié, Jeanny Hérault.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Biology -- Data processing.,Computer science.,Neurosciences.
Classification :
QA76
.
87
E358
1990
139. New trends in computer technologies and applications :
Author: Chuan-Yu Chang, Chien-Chou Lin, Horng-Horng Lin (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing, Congresses.,Self-organizing systems, Congresses.,Electronic data processing.,Self-organizing systems.
Classification :
QA75
.
5
.
I58
2018
